<html>
<head><meta charset="utf-8"><title>status-of-borrowck-blog-post · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html">status-of-borrowck-blog-post</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="127965057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127965057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127965057">(Jun 12 2018 at 17:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> et al.: so I started writing up a blog post on the status of borrowck. You can <a href="https://gist.github.com/nikomatsakis/74e541ec03e6b777040a8fb8ad6a2580" target="_blank" title="https://gist.github.com/nikomatsakis/74e541ec03e6b777040a8fb8ad6a2580">see the draft in this gist</a>. I'd love to get some feedback on the content, but I'm really writing because I realized at the end that I think we could/should maybe do a bit more to make it easy to figure out how to "hop in" and contribute. I'm not sure what to suggest, really? GitHub issues are an option, though I worry about notifications getting lost there — it's increasingly hard to keep up, at least for me  personally. Coming to the meeting is an option, but it won't work for all -- should we have an internals thread that we actually keep up to date? Rely on people to read the backlog? Not sure, would appreciate thoughts.</p>



<a name="127965067"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127965067" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127965067">(Jun 12 2018 at 17:39)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116010">@Aaron Turon</span> <span class="emoji emoji-261d" title="point up">:point_up:</span></p>



<a name="127967165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127967165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127967165">(Jun 12 2018 at 18:26)</a>:</h4>
<p><span class="emoji emoji-1f44e" title="thumbs down">:thumbs_down:</span>, we should replace all mentions of Polonius to <span class="emoji emoji-1f438" title="frog">:frog:</span></p>



<a name="127967194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127967194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127967194">(Jun 12 2018 at 18:27)</a>:</h4>
<p>that gets people excited</p>



<a name="127967590"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127967590" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127967590">(Jun 12 2018 at 18:35)</a>:</h4>
<p>maybe keeping <a href="https://internals.rust-lang.org/t/non-lexical-lifetimes-nll-working-group-tracking-thread/7115/1" target="_blank" title="https://internals.rust-lang.org/t/non-lexical-lifetimes-nll-working-group-tracking-thread/7115/1">this internals thread</a> up to date with the weekly meeting update from the Paper document, like a "this week in NLL" that would also contain GH issues or small descriptions about topics where help is needed</p>



<a name="127967694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127967694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127967694">(Jun 12 2018 at 18:37)</a>:</h4>
<p>Yeah, I was thinking of something similar</p>



<a name="127967710"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127967710" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127967710">(Jun 12 2018 at 18:37)</a>:</h4>
<blockquote>
<p><span class="emoji emoji-1f44e" title="thumbs down">:thumbs_down:</span>, we should replace all mentions of Polonius to <span class="emoji emoji-1f438" title="frog">:frog:</span></p>
</blockquote>
<p>i can't tell how serious you are here — I could invest a bit of time writing up more about 'phase 2', but I think I'd rather push that to a follow-up post</p>



<a name="127967756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127967756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127967756">(Jun 12 2018 at 18:38)</a>:</h4>
<p>I can certainly mention datafrog :)</p>



<a name="127967779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127967779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127967779">(Jun 12 2018 at 18:38)</a>:</h4>
<p>but I don't really want to just get people excited about Polonius — That's not gonna ship for a while, I want to focus on what <em>will</em> ship, which is already exciting enough</p>



<a name="127971213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127971213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127971213">(Jun 12 2018 at 19:51)</a>:</h4>
<p>on a more serious note -- would people get a bit disappointed that we're not shipping the changes for <span class="emoji emoji-1f438" title="frog">:frog:</span>? if i were not in WG-nll, i would assume something went wrong in the implementation of NLL, and we had to take a step back from implementing it fully</p>



<a name="127971360"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127971360" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127971360">(Jun 12 2018 at 19:54)</a>:</h4>
<p>well, i guess it's a good thing that we kept the NLL term relatively vague, so any kind of new analysis can count as NLL</p>



<a name="127973053"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127973053" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127973053">(Jun 12 2018 at 20:32)</a>:</h4>
<p>for the performance part of the post, I guess we could mention the NLL dashboard as well — and in general the rustc-perf benchmarks — as a good start to the "NLL performance work trail of breadcrumbs" ? :) (also: in the post, the sidenote about <code>inflate</code>seems unused)</p>



<a name="127977882"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/127977882" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#127977882">(Jun 12 2018 at 22:27)</a>:</h4>
<blockquote>
<p>on a more serious note -- would people get a bit disappointed that we're not shipping the changes for <span class="emoji emoji-1f438" title="frog">:frog:</span>? </p>
</blockquote>
<p>part of the point of the post is to set expectations appropriately, I would say.</p>



<a name="128011125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/128011125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#128011125">(Jun 13 2018 at 14:24)</a>:</h4>
<p>ok I totally rewrote the post: <a href="https://gist.github.com/nikomatsakis/74e541ec03e6b777040a8fb8ad6a2580" target="_blank" title="https://gist.github.com/nikomatsakis/74e541ec03e6b777040a8fb8ad6a2580">https://gist.github.com/nikomatsakis/74e541ec03e6b777040a8fb8ad6a2580</a></p>



<a name="128011208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/128011208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#128011208">(Jun 13 2018 at 14:26)</a>:</h4>
<p>need to read it :)</p>



<a name="128011209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/128011209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#128011209">(Jun 13 2018 at 14:26)</a>:</h4>
<p>will do today</p>



<a name="128011304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/128011304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#128011304">(Jun 13 2018 at 14:28)</a>:</h4>
<p>Looks good!</p>



<a name="128011542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/128011542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#128011542">(Jun 13 2018 at 14:33)</a>:</h4>
<p>added a few more details and things</p>



<a name="128011811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post/near/128011811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/status-of-borrowck-blog-post.html#128011811">(Jun 13 2018 at 14:39)</a>:</h4>
<p>very nice ! tiny typo on "map is borrowed to produce" and "map is no longer referenced" -&gt; should be vec instead of map</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>